Manuel Núñez (eds.): Z-Libraryలో శోధించండి

జ్ఞానం మరియు సంస్కృతికి మీ గేట్‌వే. అందరికీ అందుబాటులో ఉంటుంది.

Don't use scam websites

వర్తింప చేసిన వడపోత సూచనలు

సరిగ్గా సరిపోలిక

సరిగ్గా సరిపోలిక

పుస్తకాలు (16)
అత్యంత ప్రజాదరణమైనవి
- ప్రకారం క్రమబద్ధీకరించు×
- అత్యంత ప్రజాదరణమైనవి
- ఉత్తమ సరిపోలిక
- ఇటీవల జోడించినవి
- శీర్షక ప్రకారం (అ-హ)
- శీర్షక ప్రకారం (హ-అ)
- సంవత్సరం ప్రకారం
- ఫైల్ పరిమాణం ↓
- ఫైల్ పరిమాణం ↑
జాబితా
- జాబితా
- పట్టిక

1

Q'ero, el último ayllu inka. Homenaje a Óscar Núñez del Prado y a la expedición científica de la Universidad Nacional San Antonio Abad (UNSAAC) a la nación Q'ero en 1955

Q'ero, el último ayllu inka. Homenaje a Óscar Núñez del Prado y a la expedición científica de la Universidad Nacional San Antonio Abad (UNSAAC) a la nación Q'ero en 1955

Instituto Nacional de Cultura del Perú (INC) - Región Cusco; UNMSM

Jorge Flores Ochoa, Juan Núñez del Prado, Manuel Castillo, (eds.), David Ugarte, Juan Núñez del Prado, Jorge Flores, Luis Barreda, Mario Escobar, Óscar Núñez del Prado, Steven Webster, Juan Ossio, Washington Rozas, Américo Yábar, Efraín Morote, Peter Getz

సంవత్సరం:

2005

భాష:

spanish

ఫైల్:

PDF, 11.68 MB

0 / 4.5

spanish, 2005

2

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 4.58 MB

0 / 0

english, 2006

3

Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part II

Springer International Publishing

Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 26.48 MB

0 / 0

english, 2015

4

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers

Springer International Publishing

Steve Counsell, Manuel Núñez (eds.)

సంవత్సరం:

2014

భాష:

english

ఫైల్:

PDF, 12.07 MB

0 / 0

english, 2014

5

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 4.62 MB

0 / 0

english, 2004

6

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 3.07 MB

0 / 0

english, 2006

7

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.70 MB

0 / 0

english, 2004

8

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 5.46 MB

0 / 0

english, 2002

9

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Formal Techniques for Networked and Distributed Sytems — FORTE 2002: 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11–14, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Manuel Núñez, Ismael Rodríguez (auth.), Doron A. Peled, Moshe Y. Vardi (eds.)

సంవత్సరం:

2002

భాష:

english

ఫైల్:

PDF, 4.63 MB

0 / 0

english, 2002

10

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 4.74 MB

0 / 0

english, 2009

11

Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I

Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, Proceedings, Part I

Springer International Publishing

Manuel Núñez, Ngoc Thanh Nguyen, David Camacho, Bogdan Trawiński (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 32.23 MB

0 / 0

english, 2015

12

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings

Springer International Publishing

Manuel Núñez, Matthias Güdemann (eds.)

సంవత్సరం:

2015

భాష:

english

ఫైల్:

PDF, 4.99 MB

0 / 0

english, 2015

13

Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Web Services and Formal Methods: Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings

Springer-Verlag Berlin Heidelberg

W. M. P. van der Aalst, M. Pesic (auth.), Mario Bravetti, Manuel Núñez, Gianluigi Zavattaro (eds.)

సంవత్సరం:

2006

భాష:

english

ఫైల్:

PDF, 5.97 MB

0 / 0

english, 2006

14

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Chun Ouyang, Jonathan Billington (auth.), Manuel Núñez, Zakaria Maamar, Fernando L. Pelayo, Key Pousttchi, Fernando Rubio (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 3.39 MB

0 / 0

english, 2004

15

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

Martín Abadi, Ted Wobber (auth.), David de Frutos-Escrig, Manuel Núñez (eds.)

సంవత్సరం:

2004

భాష:

english

ఫైల్:

PDF, 4.32 MB

0 / 0

english, 2004

16

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Testing of Software and Communication Systems: 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Noureddine Adjir, Pierre De Saqui-Sannes, Kamel Mustapha Rahmouni (auth.), Manuel Núñez, Paul Baker, Mercedes G. Merayo (eds.)

సంవత్సరం:

2009

భాష:

english

ఫైల్:

PDF, 4.67 MB

0 / 0

english, 2009